package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_11 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_11.test1");


    com.hyperrealm.kiwi.ui.model.TableSorter var0 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var0.fireTableRowsUpdated(100, 1);
    com.hyperrealm.kiwi.ui.model.TableSorter var4 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var5 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var6 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var5.addTableModelListener((javax.swing.event.TableModelListener)var6);
    var4.setModel((javax.swing.table.TableModel)var5);
    var0.setModel((javax.swing.table.TableModel)var4);
    boolean var12 = var0.isCellEditable((-1), 0);

  }

}
